$t$  $\ldots\,$\$L $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$t$